- gebundene Variable
- связанная переменная
Немецко-русский математический словарь. 2013.
gebundene Variable
Смотреть что такое "gebundene Variable" в других словарях:
Gebundene Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Freie Variable und gebundene Variable — In der Mathematik und Logik bezeichnet man eine Variable als in einer Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines Operator (Mathematik)s auftritt. Sind hingegen alle Vorkommen der Variable… … Deutsch Wikipedia
Variable (Logik) — Variable bezeichnet in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“.[1] Im Gegensatz zu logischen Konstanten haben Variablen „keine selbständige Bedeutung“[2] und sind… … Deutsch Wikipedia
Gebundene Umbenennung — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Freie Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Vollfreie Variable — Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist. Die Unterscheidung zwischen freien und vollfreien… … Deutsch Wikipedia
Geschlossene Formel — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Aussagenvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… … Deutsch Wikipedia
Prädikatvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… … Deutsch Wikipedia
Prädikatenlogik erster Stufe — Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt … Deutsch Wikipedia
Die logische Form der Handlungsätze — Die logische Form der Handlungssätze (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde… … Deutsch Wikipedia
